翻訳と辞書 Words near each other ・ Godega di Sant'Urbano ・ Godegård ・ Godeh Rural District ・ Godehard Link ・ Godel (disambiguation) ・ Godel Iceport ・ Godela Habel ・ Godelieve ・ Godelieve Jansens ・ Godelieve Quisthoudt-Rowohl ・ Godeliève Mukasarasi ・ Godella ・ Godelleta ・ Godello ・ Godemarci ・ Godement resolution ・ Godemir, Ban of Croatia ・ Godendorf ・ GodEngine ・ Godeni ・ Godeninci ・ Godenvillers ・ Godeok Station ・ Godeok-dong ・ Godepert ・ Goderdzi Chokheli ・ Goderdzi Natroshvili ・ Goderdzi Shvelidze ・ Godere ・ Godere (woreda) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Godement resolution ： ウィキペディア英語版 Godement resolution The Godement resolution of a sheaf is a construction in homological algebra which allows one to view global, cohomological information about the sheaf in terms of local information coming from its stalks. It is useful for computing sheaf cohomology. It was discovered by Roger Godement. == Godement construction == Given a topological space ''X'' (more generally, a topos X with enough points), and a sheaf ''F'' on X, the Godement construction for ''F'' gives a sheaf Gode(''F'') constructed as follows. For each point $x\backslash in\; X$, let $F\_x$ denote the stalk of ''F'' at ''x''. Given an open set $U\backslash subset\; X$, define :$\backslash operatorname(F)(U):=\backslash prod\_\; F\_x.$ An open subset $U\backslash subset\; V$ clearly induces a restriction map $\backslash operatorname(F)(V)\backslash rightarrow\; \backslash operatorname(F)(U)$, so Gode(''F'') is a presheaf. One checks the sheaf axiom easily. One also proves easily that Gode(''F'') is flabby, meaning each restriction map is surjective. Gode can be turned into a functor because a map between two sheaves induces maps between their stalks. Finally, there is a canonical map of sheaves $F\backslash to\; \backslash operatorname(F)$ which sends each section to the product of its germs. This canonical map is a natural transformation between the identity functor and Gode. Another way to view Gode is as follows. Let $\backslash textstyle\; Y\; =\; \backslash coprod\_\; \backslash$ be the disjoint union of the points of ''X''. There is a continuous map . This induces adjoint pushforward and pullback functors ''p'' * and ''p'' *. Gode is the unit of this adjunction, that is, it is ''p'' *''p'' *. Because Gode is the unit of an adjunction, there is an associated monad on the category of sheaves on ''X''. Using this monad there is a way to turn a sheaf ''F'' into a coaugmented cosimplicial sheaf. This coaugmented cosimplicial sheaf is associated to an augmented cochain complex which is defined to be the Godement resolution of ''F''. In more down-to-earth terms, let $G\_0(F)\; =\; \backslash operatorname(F)$, and let $d\_0\backslash colon\; F\backslash rightarrow\; G\_0(F)$ denote the canonical map. For each $i>0$, let $G\_i(F)$ denote $\backslash operatorname(\backslash operatorname(d\_))$, and let $d\_i\backslash colon\; G\_\backslash rightarrow\; G\_i$ denote the canonical map. The resulting resolution is a flabby resolution of ''F'', and its cohomology is the sheaf cohomology of ''F''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Godement resolution」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.